Mathematical programming

Results: 4310



#Item
71Mathematical optimization / Operations research / Mathematics / Numerical analysis / Combinatorial optimization / Linear programming / Convex optimization / Automatic label placement / Algorithm / Integer programming / Relaxation / AMPL

PRACTICAL EXPERIENCE WITH A MAP LABEL PLACEMENT PROGRAM Steven Zoraster Stephen Bayer ZYCOR, Inc. 220 Foremost Austin, Texas 78745

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-30 00:28:38
72Mathematical analysis / Analysis / Distribution / Functional analysis / Expected value

Corrections for DYNAMIC PROGRAMMING AND OPTIMAL CONTROL: 3RD, 4TH, and EARLIER EDITIONS by Dimitri P. Bertsekas Athena Scientific Last Updated:

Add to Reading List

Source URL: athenasc.com

Language: English - Date: 2015-11-13 01:12:58
73Constraint programming / Theoretical computer science / Constraint / Mathematical optimization / Exact cover / Logic programming / Software engineering / Cognitive science / Constraint logic programming / First class constraint

Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-05-28 10:14:09
74Mathematical optimization / Convex optimization / Operations research / Mathematical analysis / Linear programming / Ellipsoid method / Relaxation / Duality

CS261: Exercise Set #5 For the week of February 1–5, 2016 Instructions: (1) Do not turn anything in. (2) The course staff is happy to discuss the solutions of these exercises with you in office hours or on Piazza.

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2016-02-06 20:00:38
75Economy / Business / Operations research / Manufacturing / Management / Mathematical optimization / Production economics / Genetic algorithm / Scheduling / Inventory control / Linear programming / Operations management

version 22 juin (AY) pour affichage.xlsx

Add to Reading List

Source URL: mim2016.utt.fr

Language: English - Date: 2016-06-22 09:26:33
76Mathematics / Mathematical analysis / Calculus / Functions and mappings / Multivariable calculus / Differential calculus / Partial derivative / Derivative / Function / Normal / Chain rule / Draft:Pirate programming

REVIEW SHEET FOR MIDTERM 2: ADVANCED MATH 195, SECTION 59 (VIPUL NAIK) To maximize efficiency, please bring a copy (print or readable electronic) of this review sheet to the review session. The document does not include

Add to Reading List

Source URL: files.vipulnaik.com

Language: English - Date: 2016-08-13 11:33:29
77Mathematical optimization / Mathematical analysis / Numerical analysis / Second-order cone programming / Slack variable / Interior point method / Constraint / Duality / Convex cone

Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization: Supplementary Material A

Add to Reading List

Source URL: psl.umiacs.umd.edu

Language: English - Date: 2013-06-14 19:26:47
78Software engineering / Computer programming / Computing / XSB / Prolog / Logic programming / Partial evaluation / Mathematical logic / Logic / Deductive database / Abstract interpretation / ECL programming language

Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:04
79Constraint programming / Mathematical optimization / Artificial intelligence / Theoretical computer science / Applied mathematics / Constraint logic programming / NP-hard problems / Operations research / Genetic algorithm / Nurse scheduling problem / Constrained optimization

LNCSA Standard Framework for Timetabling Problems

Add to Reading List

Source URL: stefan.buettcher.org

Language: English - Date: 2006-04-07 00:52:14
80Logic / Mathematical logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / FO / Constructible universe / Normal distribution

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-01-24 20:37:43
UPDATE